[next] [tail] [up]

Integrals 1 to 100

Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.

In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA

Problem 1

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

196 196 165 206 334 179 0 191 228

N.S.

1 1.00 0.84 1.05 1.70 0.91 0.00 0.97 1.16

time (sec)

N/A 0.407 1.743 4.912 0.232 0.276 0.000 0.400 15.544

Problem 2

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

140 140 146 172 240 163 0 172 195

N.S.

1 1.00 1.04 1.23 1.71 1.16 0.00 1.23 1.39

time (sec)

N/A 0.258 1.160 3.126 0.214 0.269 0.000 0.373 15.150

Problem 3

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

97 97 122 133 203 147 0 153 163

N.S.

1 1.00 1.26 1.37 2.09 1.52 0.00 1.58 1.68

time (sec)

N/A 0.155 0.730 3.321 0.207 0.280 0.000 0.369 15.224

Problem 4

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

47 47 45 56 57 65 0 48 84

N.S.

1 1.00 0.96 1.19 1.21 1.38 0.00 1.02 1.79

time (sec)

N/A 0.086 0.025 1.699 0.205 0.248 0.000 0.313 16.617

Problem 5

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

55 55 97 84 95 103 0 103 91

N.S.

1 1.00 1.76 1.53 1.73 1.87 0.00 1.87 1.65

time (sec)

N/A 0.087 0.263 1.651 0.192 0.268 0.000 0.302 14.431

Problem 6

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

56 56 201 64 153 87 0 77 46

N.S.

1 1.00 3.59 1.14 2.73 1.55 0.00 1.38 0.82

time (sec)

N/A 0.229 1.609 0.490 0.279 0.260 0.000 0.313 14.136

Problem 7

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A B A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

71 71 53 41 174 88 0 57 40

N.S.

1 1.00 0.75 0.58 2.45 1.24 0.00 0.80 0.56

time (sec)

N/A 0.318 0.065 0.617 0.300 0.262 0.000 0.301 14.565

Problem 8

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

102 102 151 54 215 128 0 72 96

N.S.

1 1.00 1.48 0.53 2.11 1.25 0.00 0.71 0.94

time (sec)

N/A 0.435 1.356 0.598 0.296 0.253 0.000 0.324 14.427

Problem 9

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A B A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

133 133 119 67 294 172 0 88 124

N.S.

1 1.00 0.89 0.50 2.21 1.29 0.00 0.66 0.93

time (sec)

N/A 0.554 0.829 0.547 0.299 0.253 0.000 0.348 14.299

Problem 10

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A B A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

164 164 111 80 335 212 0 104 146

N.S.

1 1.00 0.68 0.49 2.04 1.29 0.00 0.63 0.89

time (sec)

N/A 0.676 0.867 0.686 0.296 0.255 0.000 0.370 14.414

Problem 11

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C B A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

188 188 189 217 356 195 0 210 259

N.S.

1 1.00 1.01 1.15 1.89 1.04 0.00 1.12 1.38

time (sec)

N/A 0.294 1.983 4.594 0.201 0.284 0.000 0.424 15.847

Problem 12

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C B A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

132 132 165 206 334 179 0 191 227

N.S.

1 1.00 1.25 1.56 2.53 1.36 0.00 1.45 1.72

time (sec)

N/A 0.172 1.162 3.828 0.201 0.282 0.000 0.384 15.336

Problem 13

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

68 68 61 81 94 81 0 65 122

N.S.

1 1.00 0.90 1.19 1.38 1.19 0.00 0.96 1.79

time (sec)

N/A 0.086 0.029 2.305 0.197 0.269 0.000 0.351 17.864

Problem 14

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

97 97 122 133 203 147 0 153 163

N.S.

1 1.00 1.26 1.37 2.09 1.52 0.00 1.58 1.68

time (sec)

N/A 0.141 0.464 2.742 0.197 0.266 0.000 0.350 15.664

Problem 15

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

77 77 101 77 107 118 0 104 104

N.S.

1 1.00 1.31 1.00 1.39 1.53 0.00 1.35 1.35

time (sec)

N/A 0.178 0.480 1.799 0.205 0.275 0.000 0.335 15.482

Problem 16

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A B A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

78 78 275 94 274 125 0 111 85

N.S.

1 1.00 3.53 1.21 3.51 1.60 0.00 1.42 1.09

time (sec)

N/A 0.250 4.392 0.650 0.285 0.253 0.000 0.343 14.380

Problem 17

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

88 88 226 66 274 156 0 80 45

N.S.

1 1.00 2.57 0.75 3.11 1.77 0.00 0.91 0.51

time (sec)

N/A 0.432 2.680 0.664 0.286 0.277 0.000 0.341 14.696

Problem 18

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A B A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

102 102 53 54 282 128 0 73 96

N.S.

1 1.00 0.52 0.53 2.76 1.25 0.00 0.72 0.94

time (sec)

N/A 0.536 0.062 0.548 0.294 0.269 0.000 0.334 14.503

Problem 19

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

133 133 161 67 383 172 0 88 122

N.S.

1 1.00 1.21 0.50 2.88 1.29 0.00 0.66 0.92

time (sec)

N/A 0.692 1.458 0.641 0.345 0.262 0.000 0.360 14.798

Problem 20

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A B A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

164 164 139 80 403 212 0 104 146

N.S.

1 1.00 0.85 0.49 2.46 1.29 0.00 0.63 0.89

time (sec)

N/A 0.862 1.452 0.718 0.358 0.261 0.000 0.389 16.938

Problem 21

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A B A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

136 153 351 137 603 242 0 153 145

N.S.

1 1.12 2.58 1.01 4.43 1.78 0.00 1.12 1.07

time (sec)

N/A 0.478 3.182 0.764 0.354 0.260 0.000 0.376 13.640

Problem 22

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A B B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

102 102 298 105 413 220 0 134 112

N.S.

1 1.00 2.92 1.03 4.05 2.16 0.00 1.31 1.10

time (sec)

N/A 0.378 2.443 0.682 0.321 0.296 0.000 0.333 13.307

Problem 23

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A B B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

85 85 189 58 268 173 0 80 46

N.S.

1 1.00 2.22 0.68 3.15 2.04 0.00 0.94 0.54

time (sec)

N/A 0.440 1.366 0.664 0.295 0.280 0.000 0.333 13.225

Problem 24

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

67 67 67 41 170 94 0 60 38

N.S.

1 1.00 1.00 0.61 2.54 1.40 0.00 0.90 0.57

time (sec)

N/A 0.275 0.045 0.543 0.289 0.247 0.000 0.308 14.535

Problem 25

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

61 61 139 37 119 86 0 53 41

N.S.

1 1.00 2.28 0.61 1.95 1.41 0.00 0.87 0.67

time (sec)

N/A 0.201 0.671 0.556 0.291 0.270 0.000 0.283 15.447

Problem 26

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

69 69 58 50 102 70 0 81 69

N.S.

1 1.00 0.84 0.72 1.48 1.01 0.00 1.17 1.00

time (sec)

N/A 0.149 0.759 0.554 0.293 0.246 0.000 0.304 13.963

Problem 27

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

46 46 39 38 46 81 0 95 58

N.S.

1 1.00 0.85 0.83 1.00 1.76 0.00 2.07 1.26

time (sec)

N/A 0.092 0.040 0.564 0.278 0.247 0.000 0.304 14.405

Problem 28

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

98 98 70 78 147 154 0 110 161

N.S.

1 1.00 0.71 0.80 1.50 1.57 0.00 1.12 1.64

time (sec)

N/A 0.190 1.032 0.575 0.278 0.250 0.000 0.340 14.175

Problem 29

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

166 166 81 91 167 166 0 122 185

N.S.

1 1.00 0.49 0.55 1.01 1.00 0.00 0.73 1.11

time (sec)

N/A 0.282 2.252 0.715 0.280 0.264 0.000 0.359 14.105

Problem 30

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

210 210 91 104 186 232 0 135 209

N.S.

1 1.00 0.43 0.50 0.89 1.10 0.00 0.64 1.00

time (sec)

N/A 0.371 5.911 0.737 0.288 0.261 0.000 0.409 14.298

Problem 31

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A B A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

162 162 372 118 562 289 0 154 134

N.S.

1 1.00 2.30 0.73 3.47 1.78 0.00 0.95 0.83

time (sec)

N/A 0.586 5.288 0.769 0.313 0.260 0.000 0.406 14.367

Problem 32

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A B A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

148 148 202 69 396 242 0 102 50

N.S.

1 1.00 1.36 0.47 2.68 1.64 0.00 0.69 0.34

time (sec)

N/A 0.772 2.657 0.620 0.299 0.265 0.000 0.352 14.267

Problem 33

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

96 96 90 54 277 138 0 80 93

N.S.

1 1.00 0.94 0.56 2.89 1.44 0.00 0.83 0.97

time (sec)

N/A 0.483 0.053 0.675 0.288 0.256 0.000 0.331 14.418

Problem 34

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

96 96 151 54 211 138 0 80 93

N.S.

1 1.00 1.57 0.56 2.20 1.44 0.00 0.83 0.97

time (sec)

N/A 0.374 1.272 0.624 0.294 0.261 0.000 0.323 14.468

Problem 35

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

88 88 79 50 159 124 0 71 85

N.S.

1 1.00 0.90 0.57 1.81 1.41 0.00 0.81 0.97

time (sec)

N/A 0.248 0.502 0.546 0.296 0.263 0.000 0.302 14.049

Problem 36

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

126 126 71 65 122 109 0 102 82

N.S.

1 1.00 0.56 0.52 0.97 0.87 0.00 0.81 0.65

time (sec)

N/A 0.249 0.623 0.618 0.303 0.243 0.000 0.302 14.700

Problem 37

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

100 100 70 78 146 154 0 116 161

N.S.

1 1.00 0.70 0.78 1.46 1.54 0.00 1.16 1.61

time (sec)

N/A 0.175 1.060 0.638 0.294 0.246 0.000 0.345 14.899

Problem 38

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

67 67 39 53 56 118 0 129 94

N.S.

1 1.00 0.58 0.79 0.84 1.76 0.00 1.93 1.40

time (sec)

N/A 0.103 0.067 0.648 0.282 0.254 0.000 0.349 15.053

Problem 39

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

129 129 81 104 187 232 0 142 209

N.S.

1 1.00 0.63 0.81 1.45 1.80 0.00 1.10 1.62

time (sec)

N/A 0.214 5.235 0.728 0.291 0.252 0.000 0.401 15.208

Problem 40

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

210 210 91 117 205 271 0 154 233

N.S.

1 1.00 0.43 0.56 0.98 1.29 0.00 0.73 1.11

time (sec)

N/A 0.295 6.333 0.738 0.291 0.259 0.000 0.436 14.610

Problem 41

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

252 252 787 130 227 310 0 169 257

N.S.

1 1.00 3.12 0.52 0.90 1.23 0.00 0.67 1.02

time (sec)

N/A 0.372 11.116 0.694 0.295 0.278 0.000 0.432 14.788

Problem 42

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

175 175 122 233 0 373 0 0 0

N.S.

1 1.00 0.70 1.33 0.00 2.13 0.00 0.00 0.00

time (sec)

N/A 0.231 5.732 7.131 0.000 0.291 0.000 0.000 0.000

Problem 43

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

140 140 112 211 0 347 0 0 0

N.S.

1 1.00 0.80 1.51 0.00 2.48 0.00 0.00 0.00

time (sec)

N/A 0.201 1.368 6.165 0.000 0.281 0.000 0.000 0.000

Problem 44

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

105 105 100 160 0 313 0 0 0

N.S.

1 1.00 0.95 1.52 0.00 2.98 0.00 0.00 0.00

time (sec)

N/A 0.198 0.821 4.938 0.000 0.278 0.000 0.000 0.000

Problem 45

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

66 66 91 93 147 234 0 0 0

N.S.

1 1.00 1.38 1.41 2.23 3.55 0.00 0.00 0.00

time (sec)

N/A 0.143 0.527 3.976 0.367 0.271 0.000 0.000 0.000

Problem 46

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

69 69 46 87 0 266 0 0 0

N.S.

1 1.00 0.67 1.26 0.00 3.86 0.00 0.00 0.00

time (sec)

N/A 0.195 0.365 2.256 0.000 0.322 0.000 0.000 0.000

Problem 47

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

104 104 59 180 0 339 0 0 0

N.S.

1 1.00 0.57 1.73 0.00 3.26 0.00 0.00 0.00

time (sec)

N/A 0.196 0.521 2.231 0.000 0.301 0.000 0.000 0.000

Problem 48

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

139 139 59 264 0 405 0 0 0

N.S.

1 1.00 0.42 1.90 0.00 2.91 0.00 0.00 0.00

time (sec)

N/A 0.203 0.654 2.653 0.000 0.336 0.000 0.000 0.000

Problem 49

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F(-1) A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

174 174 59 348 0 475 0 0 0

N.S.

1 1.00 0.34 2.00 0.00 2.73 0.00 0.00 0.00

time (sec)

N/A 0.244 4.384 2.802 0.000 0.331 0.000 0.000 0.000

Problem 50

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

177 177 124 234 0 385 0 0 0

N.S.

1 1.00 0.70 1.32 0.00 2.18 0.00 0.00 0.00

time (sec)

N/A 0.247 1.704 8.283 0.000 0.264 0.000 0.000 0.000

Problem 51

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

142 142 114 189 0 355 0 0 0

N.S.

1 1.00 0.80 1.33 0.00 2.50 0.00 0.00 0.00

time (sec)

N/A 0.227 0.974 6.153 0.000 0.292 0.000 0.000 0.000

Problem 52

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

101 101 100 206 998 303 0 0 0

N.S.

1 1.00 0.99 2.04 9.88 3.00 0.00 0.00 0.00

time (sec)

N/A 0.164 0.588 1.109 0.436 0.271 0.000 0.000 0.000

Problem 53

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

70 70 78 90 0 269 0 0 0

N.S.

1 1.00 1.11 1.29 0.00 3.84 0.00 0.00 0.00

time (sec)

N/A 0.218 0.531 2.094 0.000 0.307 0.000 0.000 0.000

Problem 54

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F(-1) A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

102 102 73 181 0 351 0 0 0

N.S.

1 1.00 0.72 1.77 0.00 3.44 0.00 0.00 0.00

time (sec)

N/A 0.220 0.644 2.067 0.000 0.303 0.000 0.000 0.000

Problem 55

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F(-1) A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

137 137 73 265 0 417 0 0 0

N.S.

1 1.00 0.53 1.93 0.00 3.04 0.00 0.00 0.00

time (sec)

N/A 0.233 0.957 2.741 0.000 0.332 0.000 0.000 0.000

Problem 56

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F(-1) A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

172 172 73 349 0 495 0 0 0

N.S.

1 1.00 0.42 2.03 0.00 2.88 0.00 0.00 0.00

time (sec)

N/A 0.238 4.602 2.461 0.000 0.349 0.000 0.000 0.000

Problem 57

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-1) A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

212 212 134 223 0 441 0 0 0

N.S.

1 1.00 0.63 1.05 0.00 2.08 0.00 0.00 0.00

time (sec)

N/A 0.239 2.463 89.612 0.000 0.284 0.000 0.000 0.000

Problem 58

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

177 177 124 207 0 409 0 0 0

N.S.

1 1.00 0.70 1.17 0.00 2.31 0.00 0.00 0.00

time (sec)

N/A 0.215 1.096 22.837 0.000 0.295 0.000 0.000 0.000

Problem 59

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

132 132 110 190 1396 353 0 0 0

N.S.

1 1.00 0.83 1.44 10.58 2.67 0.00 0.00 0.00

time (sec)

N/A 0.184 0.622 7.990 0.418 0.280 0.000 0.000 0.000

Problem 60

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

103 103 66 100 0 291 0 0 0

N.S.

1 1.00 0.64 0.97 0.00 2.83 0.00 0.00 0.00

time (sec)

N/A 0.218 0.400 5.275 0.000 0.307 0.000 0.000 0.000

Problem 61

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F(-1) B F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

74 74 70 175 0 339 0 0 0

N.S.

1 1.00 0.95 2.36 0.00 4.58 0.00 0.00 0.00

time (sec)

N/A 0.203 0.607 13.920 0.000 0.323 0.000 0.000 0.000

Problem 62

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F(-1) B F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

104 104 73 267 0 441 0 0 0

N.S.

1 1.00 0.70 2.57 0.00 4.24 0.00 0.00 0.00

time (sec)

N/A 0.218 1.130 70.083 0.000 0.315 0.000 0.000 0.000

Problem 63

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F(-1) B F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

140 140 73 351 0 527 0 0 0

N.S.

1 1.00 0.52 2.51 0.00 3.76 0.00 0.00 0.00

time (sec)

N/A 0.231 4.699 1.636 0.000 0.345 0.000 0.000 0.000

Problem 64

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F(-1) A F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

172 172 73 435 0 601 0 0 0

N.S.

1 1.00 0.42 2.53 0.00 3.49 0.00 0.00 0.00

time (sec)

N/A 0.247 5.219 1.349 0.000 0.358 0.000 0.000 0.000

Problem 65

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F F(-2) F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

185 185 153 282 0 552 0 0 0

N.S.

1 1.00 0.83 1.52 0.00 2.98 0.00 0.00 0.00

time (sec)

N/A 0.322 5.428 6.491 0.000 0.701 0.000 0.000 0.000

Problem 66

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F F(-2) F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

152 152 166 260 0 518 0 0 0

N.S.

1 1.00 1.09 1.71 0.00 3.41 0.00 0.00 0.00

time (sec)

N/A 0.273 2.416 5.125 0.000 0.599 0.000 0.000 0.000

Problem 67

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F A F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

119 119 100 325 0 438 0 0 0

N.S.

1 1.00 0.84 2.73 0.00 3.68 0.00 0.00 0.00

time (sec)

N/A 0.224 0.685 5.185 0.000 0.382 0.000 0.000 0.000

Problem 68

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A C A F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

87 87 102 137 699 298 0 0 0

N.S.

1 1.00 1.17 1.57 8.03 3.43 0.00 0.00 0.00

time (sec)

N/A 0.162 0.365 2.424 0.618 0.339 0.000 0.000 0.000

Problem 69

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F A F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

121 121 75 167 0 436 0 0 0

N.S.

1 1.00 0.62 1.38 0.00 3.60 0.00 0.00 0.00

time (sec)

N/A 0.229 0.433 2.476 0.000 0.354 0.000 0.000 0.000

Problem 70

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F A F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

161 161 83 202 0 520 0 0 0

N.S.

1 1.00 0.52 1.25 0.00 3.23 0.00 0.00 0.00

time (sec)

N/A 0.278 0.399 2.332 0.000 0.348 0.000 0.000 0.000

Problem 71

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F A F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

196 196 83 375 0 608 0 0 0

N.S.

1 1.00 0.42 1.91 0.00 3.10 0.00 0.00 0.00

time (sec)

N/A 0.349 0.533 2.847 0.000 0.365 0.000 0.000 0.000

Problem 72

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F F(-2) F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

203 203 196 282 0 634 0 0 0

N.S.

1 1.00 0.97 1.39 0.00 3.12 0.00 0.00 0.00

time (sec)

N/A 0.386 4.514 7.019 0.000 1.065 0.000 0.000 0.000

Problem 73

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F F(-2) F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

169 169 132 222 0 550 0 0 0

N.S.

1 1.00 0.78 1.31 0.00 3.25 0.00 0.00 0.00

time (sec)

N/A 0.285 2.757 5.666 0.000 0.560 0.000 0.000 0.000

Problem 74

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F B F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

119 134 119 200 0 542 0 0 0

N.S.

1 1.13 1.00 1.68 0.00 4.55 0.00 0.00 0.00

time (sec)

N/A 0.243 0.826 3.034 0.000 0.491 0.000 0.000 0.000

Problem 75

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

113 130 145 201 0 505 0 0 0

N.S.

1 1.15 1.28 1.78 0.00 4.47 0.00 0.00 0.00

time (sec)

N/A 0.208 0.640 2.430 0.000 0.387 0.000 0.000 0.000

Problem 76

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F A F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

177 177 102 339 0 514 0 0 0

N.S.

1 1.00 0.58 1.92 0.00 2.90 0.00 0.00 0.00

time (sec)

N/A 0.316 0.450 2.176 0.000 0.377 0.000 0.000 0.000

Problem 77

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F A F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

214 214 102 202 0 560 0 0 0

N.S.

1 1.00 0.48 0.94 0.00 2.62 0.00 0.00 0.00

time (sec)

N/A 0.489 0.470 2.693 0.000 0.372 0.000 0.000 0.000

Problem 78

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F A F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

249 249 102 232 0 714 0 0 0

N.S.

1 1.00 0.41 0.93 0.00 2.87 0.00 0.00 0.00

time (sec)

N/A 0.444 0.596 2.748 0.000 0.399 0.000 0.000 0.000

Problem 79

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-1) A F F(-2) F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

260 260 180 304 0 742 0 0 0

N.S.

1 1.00 0.69 1.17 0.00 2.85 0.00 0.00 0.00

time (sec)

N/A 0.407 8.452 7.706 0.000 1.695 0.000 0.000 0.000

Problem 80

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-1) A F F(-2) F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

229 229 164 246 0 655 0 0 0

N.S.

1 1.00 0.72 1.07 0.00 2.86 0.00 0.00 0.00

time (sec)

N/A 0.364 5.350 6.129 0.000 1.387 0.000 0.000 0.000

Problem 81

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-1) A F F(-2) F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

191 191 136 250 0 645 0 0 0

N.S.

1 1.00 0.71 1.31 0.00 3.38 0.00 0.00 0.00

time (sec)

N/A 0.302 2.652 3.888 0.000 1.122 0.000 0.000 0.000

Problem 82

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F F(-2) F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

189 189 145 245 0 645 0 0 0

N.S.

1 1.00 0.77 1.30 0.00 3.41 0.00 0.00 0.00

time (sec)

N/A 0.288 1.523 3.549 0.000 0.837 0.000 0.000 0.000

Problem 83

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F B F F(-2) F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

148 181 178 243 0 605 0 0 0

N.S.

1 1.22 1.20 1.64 0.00 4.09 0.00 0.00 0.00

time (sec)

N/A 0.248 1.490 2.662 0.000 0.564 0.000 0.000 0.000

Problem 84

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F A F F(-2) F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

230 230 117 500 0 608 0 0 0

N.S.

1 1.00 0.51 2.17 0.00 2.64 0.00 0.00 0.00

time (sec)

N/A 0.387 0.523 2.483 0.000 0.376 0.000 0.000 0.000

Problem 85

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F A F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

269 269 112 375 0 706 0 0 0

N.S.

1 1.00 0.42 1.39 0.00 2.62 0.00 0.00 0.00

time (sec)

N/A 0.433 0.530 2.705 0.000 0.393 0.000 0.000 0.000

Problem 86

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

185 185 84 167 1289 459 0 0 0

N.S.

1 1.00 0.45 0.90 6.97 2.48 0.00 0.00 0.00

time (sec)

N/A 0.484 1.825 2.492 0.463 0.334 0.000 0.000 0.000

Problem 87

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

139 139 72 157 710 425 0 0 0

N.S.

1 1.00 0.52 1.13 5.11 3.06 0.00 0.00 0.00

time (sec)

N/A 0.340 0.636 2.220 0.394 0.340 0.000 0.000 0.000

Problem 88

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

93 93 57 132 243 350 0 0 0

N.S.

1 1.00 0.61 1.42 2.61 3.76 0.00 0.00 0.00

time (sec)

N/A 0.222 0.502 2.338 0.398 0.350 0.000 0.000 0.000

Problem 89

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

48 48 51 87 39 200 0 0 0

N.S.

1 1.00 1.06 1.81 0.81 4.17 0.00 0.00 0.00

time (sec)

N/A 0.110 0.267 2.455 0.397 0.326 0.000 0.000 0.000

Problem 90

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

51 51 62 77 65 0 0 0 0

N.S.

1 1.00 1.22 1.51 1.27 0.00 0.00 0.00 0.00

time (sec)

N/A 0.117 0.356 2.112 0.308 0.000 0.000 0.000 0.000

Problem 91

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

96 96 72 148 399 0 0 0 0

N.S.

1 1.00 0.75 1.54 4.16 0.00 0.00 0.00 0.00

time (sec)

N/A 0.230 0.677 2.412 0.370 0.000 0.000 0.000 0.000

Problem 92

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

142 142 90 237 1173 0 0 0 0

N.S.

1 1.00 0.63 1.67 8.26 0.00 0.00 0.00 0.00

time (sec)

N/A 0.374 0.825 2.376 0.478 0.000 0.000 0.000 0.000

Problem 93

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B F F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

188 188 100 259 2444 0 0 0 0

N.S.

1 1.00 0.53 1.38 13.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.494 1.936 2.409 1.906 0.000 0.000 0.000 0.000

Problem 94

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

190 190 87 166 1356 467 0 0 0

N.S.

1 1.00 0.46 0.87 7.14 2.46 0.00 0.00 0.00

time (sec)

N/A 0.477 0.829 2.098 0.480 0.332 0.000 0.000 0.000

Problem 95

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

103 103 66 143 477 346 0 0 0

N.S.

1 1.00 0.64 1.39 4.63 3.36 0.00 0.00 0.00

time (sec)

N/A 0.147 0.578 2.298 0.403 0.321 0.000 0.000 0.000

Problem 96

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

93 93 68 118 243 347 0 0 0

N.S.

1 1.00 0.73 1.27 2.61 3.73 0.00 0.00 0.00

time (sec)

N/A 0.231 0.409 2.131 0.399 0.328 0.000 0.000 0.000

Problem 97

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

104 104 65 112 60 0 0 0 0

N.S.

1 1.00 0.62 1.08 0.58 0.00 0.00 0.00 0.00

time (sec)

N/A 0.138 0.370 1.990 0.385 0.000 0.000 0.000 0.000

Problem 98

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

100 100 76 145 95 0 0 0 0

N.S.

1 1.00 0.76 1.45 0.95 0.00 0.00 0.00 0.00

time (sec)

N/A 0.236 0.754 2.114 0.318 0.000 0.000 0.000 0.000

Problem 99

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

146 146 83 238 1786 0 0 0 0

N.S.

1 1.00 0.57 1.63 12.23 0.00 0.00 0.00 0.00

time (sec)

N/A 0.363 1.028 2.027 0.527 0.000 0.000 0.000 0.000

Problem 100

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B F F(-1) F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

196 196 102 260 3480 0 0 0 0

N.S.

1 1.00 0.52 1.33 17.76 0.00 0.00 0.00 0.00

time (sec)

N/A 0.488 2.513 2.108 1.846 0.000 0.000 0.000 0.000

[next] [front] [up]